1. Categorical methods in computer science : with aspects from topology
المؤلف: H. Ehrig...]et al.[, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
2. Categorical methods in computer science : with aspects from topology
المؤلف: H. Ehrig ... )et al.(, eds
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
3. Categorical methods in computer science: with aspects from topology
پدیدآورنده : H. Ehrig ... ]et al.[, eds
موضوع : ، Computer science- Congresses,، Categories )Mathematics(- Congresses,، Topology- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Fundamentals of algebraic graph transformation
المؤلف: / H. Ehrig ... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Graph grammars.,Graph theory.,Morphisms (Mathematics),Categories (Mathematics)
رده :
QA
,
267
.
3
,.
F86
,
2006
5. Fundamentals of algebraic graph transformation
المؤلف: H. Ehrig ... ]et al.[
المکتبة: (سمنان)
موضوع: ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
2006
6. Fundamentals of algebraic graph transformation
المؤلف: H. Ehrig....]et al.[
المکتبة: (طهران)
موضوع: ، Graph grammars,، Graph theory,، Morphisms )Mathematics(,، Categories )Mathematics(
رده :
QA
267
.
3
.
F86
7. Graph-grammars and their application to computer science :
المؤلف: H. Ehrig ... [et al.] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing-- Congresses.,Graph grammars-- Congresses.
رده :
QA267
.
3
.
G68
1987
8. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986: Proceedings
المؤلف: H. Ehrig...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Graph grammars,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
291
9. Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : )proceedings(
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Graph grammars-- Congresses,، Electronic data processing-- Congresses
رده :
QA
267
.
3
.
G68
1987
10. Handbook of graph grammars and computing by graph transformation
المؤلف: edited by H. Ehrig...]et al.[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Graph grammars,Data processing ، Graph theory
رده :
QA
267
.
3
.
H364
1999
11. Recent trends in data type specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings 1990
المؤلف: H. Ehrig ... ]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
534
12. Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Abstract data types-- Congresses
رده :
QA
76
.
9
.
A23
.
W67
1990
